f9y	{v1,v2,v3,v4,v5,v6}		
gt1	{s1,s2}	{v1,v2,v3,v4,v5,v6}		
